türetilebilme önermesi
Türkçe - İngilizce
TÜRETİLEBİLME ÖNERMESİ = (türetilebilme önermesi nedir; türetilebilme önermesi ne demek; türetilebilme önermesi İngilizcesi) p önermesinin K önerme kümesinden türetilebildiğini dile getiren dizimsel sözeden dil önermesi: K|-p.
